Predicate logic - PDFSEARCH.IO - Document Search Engine

Predicate logic
Results: 1102

#	Item
351	ENCODING MONOMORPHIC AND POLYMORPHIC TYPES JASMIN CHRISTIAN BLANCHETTE, SASCHA BÖHME, ANDREI POPESCU, AND NICHOLAS SMALLBONE Inria & LORIA, Nancy, France; Max-Planck-Institut für Informatik, Saarbrücken, Germany e-mai Add to Reading List Source URL: www21.in.tum.de Language: English - Date: 2015-03-25 16:36:05 Metalogic Symbol Structure Interpretation First-order logic Functional predicate Model theory Logic Mathematical logic
352	Replayer: Automatic Protocol Replay by Binary Analysis James Newsome, David Brumley, Jason Franklin, Dawn Song∗ Carnegie Mellon University Pittsburgh, PA, USA {jnewsome, Add to Reading List Source URL: bitblaze.cs.berkeley.edu Language: English - Date: 2013-03-28 20:19:28 Predicate transformer semantics Program logic KeY IP Function Algorithm NP Symbolic execution Communications protocol Theoretical computer science Mathematics Applied mathematics
353	Efficient Rule-Matching for Automated Coherent Logic Bjarne Holen, Dag Hovland , and Martin Giese, Department of Informatics, University of Oslo, Norway Abstract Coherent logic is a syntactically defined fragment of firs Add to Reading List Source URL: www.nik.no Language: English - Date: 2013-01-14 07:43:26 Automated theorem proving Rules of inference Logic programming Predicate logic Rete algorithm First-order logic Resolution Production system Admissible rule Logic Mathematics Mathematical logic
354	Robust, Semi-Intelligible Isabelle Proofs from ATP Proofs Steffen Juilf Smolka and Jasmin Christian Blanchette Technische Universität München, Germany Abstract Sledgehammer integrates external automatic theorem provers Add to Reading List Source URL: www21.in.tum.de Language: English - Date: 2013-05-15 10:49:35 Model theory Automated theorem proving Predicate logic First-order logic Herbrandization Mathematical proof Isabelle Proof assistant Constructible universe Mathematics Mathematical logic Logic
355	JAF26/Weak Arithmetics Days Seville, June 11–13, 2007 Self-applied proof verification (Extended abstract)? Add to Reading List Source URL: www.multimedialibrary.com Language: English - Date: 2014-03-05 12:52:10 Philosophical logic Model theory Predicate logic Metalogic Mathematical proof Kripke semantics Correctness Quantification Function Logic Mathematics Mathematical logic
356	Towards Automatic Discovery of Deviations in Binary Implementations with Applications to Error Detection and Fingerprint Generation David Brumley, Juan Caballero, Zhenkai Liang, James Newsome, and Dawn Song Carnegie Mell Add to Reading List Source URL: bitblaze.cs.berkeley.edu Language: English - Date: 2013-03-28 20:19:28 Software testing Predicate transformer semantics Program logic Fuzz testing X Window System Function KeY Errors and residuals in statistics Network Time Protocol Statistics Software Mathematics
357	Linear Logic, Heap-shape Patterns and Imperative Programming Extended Abstract Limin Jia David Walker Add to Reading List Source URL: www.andrew.cmu.edu Language: English - Date: 2015-04-22 06:08:46 Predicate logic Model theory Symbol Interpretation Function Monadic predicate calculus Logic programming Lambda calculus Natural deduction Mathematical logic Mathematics Logic
358	Nexus Authorization Logic (NAL): Design Rationale and Applications ¨ SIRER, Cornell University FRED B. SCHNEIDER, KEVIN WALSH, and EMIN GUN Nexus Authorization Logic (NAL) provides a principled basis for specifying and Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 2011-08-20 15:34:11 Metalogic Mathematical logic First-order logic Predicate logic Well-formed formula Logic programming Interpretation Logic Model theory Formal languages
359	Replayer: Automatic Protocol Replay by Binary Analysis James Newsome, David Brumley, Jason Franklin, Dawn Song∗ Carnegie Mellon University Pittsburgh, PA, USA {jnewsome, Add to Reading List Source URL: bitblaze.cs.berkeley.edu Language: English - Date: 2013-03-28 20:19:28 Predicate transformer semantics Program logic KeY IP Function Algorithm NP Symbolic execution Communications protocol Theoretical computer science Mathematics Applied mathematics
360	Machine Learning, , 1–37 () c Kluwer Academic Publishers, Boston. Manufactured in The Netherlands. Naive Bayesian Classification of Structured Data Add to Reading List Source URL: www.cs.bris.ac.uk Language: English - Date: 2004-05-13 06:06:50 Predicate logic Bayesian statistics Machine learning Quantum chemistry Naive Bayes classifier Statistical classification Predicate Data model Mereology Logic Mathematical logic Mathematics

UPDATE